881. Tool and object: a history and philosophy of category theory
پدیدآورنده : Kromer, Ralf
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Categories )Mathematics(-- History,، Categories )Mathematics(-- Philosophy
رده :
QA
169
.
K76
2007
882. Tools for high performance computing 2017 :
پدیدآورنده : editors, Christoph Niethammer, Michael M. Resch, Wolfgang E. Nagel, Holger Brunst and Hartmut Mix.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : High performance computing, Congresses.,High performance computing.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.
رده :
QA76
.
88
883. Topological quantum computation /
پدیدآورنده : Zhenghan Wang
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Complex manifolds, Congresses,Quantum computers, Congresses,Quantum theory, Congresses
رده :
QA1
.
R33
no
.
112
884. Topologische Reflexionen und Coreflexionen
پدیدآورنده : Herrlich, Horst
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Topology,، Categories )Mathematics(
رده :
QA
3
.
L28
no
.
78
885. Topologische Reflexionen und Coreflexionen
پدیدآورنده : Herrlich, Horst
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Topology,، Categories )Mathematics(
رده :
QA
611
.
H57
1968
886. Topologische Reflexionen und Coreflexionen
پدیدآورنده : Herrlich, Horst
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Topology,، Categories )Mathematics(
رده :
QA
1
.
L4
v
.
78
887. Topologische Reflexionen und Coreflexionen
پدیدآورنده : Herrlich, Horst
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Topology,، Categories )Mathematics(
رده :
QA
3
.
L28
no
.
78
888. Topologische reflexionen und coreflexionen
پدیدآورنده : Herrlich, Horst
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Topology,، Categories )Mathematics(
رده :
QA
3
.
L28
Vol
.
78
889. Topology and category theory in computer science
پدیدآورنده : edited by G. M. Reed, A. W. Roscoe and R. F. Wachter
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Topology,، Categories )Mathematics(
رده :
QA
76
.
9
.
M35T66
1991
890. Toposes, Algebraic geometry and logic
پدیدآورنده : ]by[ I.Bucur ]and others[ edited by F.W.Lawvere
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Nosa Detected Damaged Record #4254,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
274
891. Toposes, algebraic geometry and logic
پدیدآورنده : ]by[ I. Bucur... ]et al.[ ; Edited by F. W. Lawvere
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,، Toposes
رده :
QA
169
.
T6
1972
892. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
پدیدآورنده : I. Bucur ... ]et al.[; edited by F. W. Lawvere
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes
رده :
QA
3
.
L28
Vol
.
274
893. Toposes, triples, and theories
پدیدآورنده : Barr, Michael
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Categories )Mathematics(,، Toposes,، Triples, Theory of
رده :
QA
169
.
B346
1985
894. Toposes, triples, and theories
پدیدآورنده : / Michael Barr, Charles Wells
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Categories (Mathematics),Toposes,Triples, Theory of
رده :
QA169
.
B346
1985
895. Toposes, triples and theories
پدیدآورنده : Barr, Michael
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Categories )Mathematics(,، Toposes,، Triples, Theory of
رده :
QA
169
.
B346
1984
896. Toposes, triples, and theories
پدیدآورنده : Barr, Michael.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Categories )Mathematics(,، Toposes,، Triples, Theory of
رده :
QA
1
.
G7
v
.
278
897. Toposes, triples, and theories
پدیدآورنده : / Michael Barr, Charles Wells
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Categories (Mathematics),Toposes,Triples, Theory of
رده :
QA169
.
B346
1985
898. Toposes, triples, and theories
پدیدآورنده : Barr, Michael
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Categories )Mathematics(,، Toposes,، Triples, Theory of
رده :
QA
169
.
B346
1984
899. Toposes, triples, and theories
پدیدآورنده : Michael Barr, Charles Wells,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Categories )Mathematics(,Toposes,Triples, Theory of
رده :
QA
.
B346
169
1984
900. Toposes, triples, and theories
پدیدآورنده : Barr, Michael
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Categories )Mathematics(,، Toposes,، Triples, Theory of
رده :
QA
169
.
B34
